21. A science of operations: Machines, logic and the invention of programming
Author: / Mark Priestley (auth.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
22. A tight, practical integration of relations and functions
Author: Boley, Harold
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic programming,، Functional programming )Computer science(,، Relational databases
Classification :
QA
76
.
L28
Vol
.
1712
23. A tutorial introduction to VHDL programming /
Author: Orhan Gazi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: VHDL (Computer hardware description language),VHDL (Computer hardware description language)
Classification :
TK7885
.
7
24. A 25-year perspective on logic programming
Author: [edited by]& Agostino Dovier, Enrico Pontelli
Library: Central Library and Information Center of Shahed University (Tehran)
Subject:
25. A 25-year perspective on logic programming : achievements of the Italian Association for Logic Programming, GULP
Author: Agostino Dovier, Enrico Pontelli )Eds.(
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Gruppo Ricercatori e Utenti Logic Programming.,، Logic programming
Classification :
QA
76
.
63
.
A14
2010
26. ACM Turing Award lectures :
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computers.,Electronic data processing.,Informatique.,Ordinateurs.,Computers.,Computers.,Electronic data processing.,Informatik,Informatique-- Histoire.,Informatique.,Ordinateurs.,Programmeren (computers)
Classification :
QA76
.
24
.
A33
1987
27. AI and Cognitive Science '92 :
Author: edited by Kevin Ryan, Richard F.E. Sutcliffe.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Software engineering.
28. AI and cognitive science :
Author: second Irish conference on artificial intelligence and cognitive science, Dublin city University, 14-15 September 1989 ; ed. Alan F. Smeaton and Gabriel McDermott.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Intelligence artificielle -- Actes de congrès.
29. AI approaches to the complexity of legal systems :
Author: Ugo Pagallo, Monica Palmirani, Pompeu Casanovas, Giovanni Sartor, Serena Villata (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Information storage and retrieval systems-- Law, Congresses.,Law-- Methodology-- Automation, Congresses.,Artificial intelligence.,Artificial intelligence.,Computer programming-- software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Information storage and retrieval systems-- Law.,Law-- Methodology-- Automation.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
K213
30. AI game programming wisdom /
Author: edited by Steve Rabin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer games-- Design.,Computer games-- Programming.,Computer graphics.,Artificial intelligence.,Computer games-- Design.,Computer games-- Design.,Computer games-- Programming.,Computer games-- Programming.,Computer graphics.,Computer graphics.,Computeranimation,Computergraphics.,Computerspelen.,Computerspiel,Infographie.,Intelligence artificielle.,Künstliche Intelligenz,Kunstmatige intelligentie.,Ludiciels-- Programmation.,Programmeren (computers),Programmierung,Vormgeving.
Classification :
QA76
.
76
.
C672
R33
2002
31. ALPUK 92
Author: Krysia Broda )ed.(.
Library: Vali Asr University Central Library (Kerman)
Subject: Logic programming -- Congresses
Classification :
QA
76
.
63
.
A38
1993
32. AQA A level Computer Science.
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Problems, exercises, etc.,Computer science.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
Classification :
QA76
33. Abduction and Induction
Author: edited by Peter A. Flach, Antonis C. Kakas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Electronic data processing.,Logic.,Philosophy (General).,Science-- Philosophy.
34. Activities manual for Programmable logic controllers
Author: Frank D. Petruzella.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programmable controllers -- Problems, exercises, etc.,Programmable controllers.
35. Activities manual for programmable logic controllers /
Author: Frank D. Petruzella.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programmable controllers, Handbooks, manuals, etc.,Programmable controllers.
36. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
Classification :
E-BOOK
37. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
Classification :
E-BOOK
38. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Curry-Howard isomorphism.,Proof theory.,Logic, Symbolic and mathematical.,Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)
Classification :
QA
,
9
.
54
,.
P64
,
2005
39. Advanced Computer Architectures.
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture.,Datorarkitektur.,High performance computing.,Parallel computers.,Parallelverarbeitung.,Computer architecture.,COMPUTERS-- Systems Architecture-- General.,High performance computing.,Parallel computers.
Classification :
QA76
.
9
.
A73S45478
40. Advanced Prolog : techniques and examples
Author: Ross, Peter.
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Prolog )Computer program language(
Classification :
QA
76
.
73
.
P76R67
1989
